タイプ理論 theory of types
ラッセル Bertrand Arthur William Russell
高階関数 higher-order function
？